DIVERSITY – TG Automatic Test Case Generation from Matlab / Simulink models
نویسندگان
چکیده
Reliability of dynamic systems is a major issue in industry (aeronautics, railway, automotive, nuclear...). Therefore, most development processes require the use of model-based approaches such as UML, Matlab/Simulink, Statemate, etc. However, resulting models must be checked and corresponding implementations must be tested with respect to these models. In this paper, we present DIVERSITY, the V&V platform of the LISE laboratory, and more specifically Diversity-TG, which is a test case generator. DIVERSITY deals with several modeling languages whose semantics are based on different paradigms concerning execution and communication.
منابع مشابه
Semi-Automatic Generation of mixed Hardware/Software Prototypes from Simulink Models
We present a semi-automatic design flow from Simulink models to prototypes of mixed hardware/software implementations of these models. Our work consists of three key contributions: (1) transformation of a functional model given in MATLAB/Simulink to the well-defined synchronous reactive model of computation (SR MoC), (2) an automatic SystemC code generation from Simulink models using the SR MoC...
متن کاملA search-based framework for automatic testing of MATLAB/Simulink models
Search-based test-data generation has proved successful for code-level testing but almost no search-based work has been carried out at higher levels of abstraction. In this paper the application of such approaches at the higher levels of abstraction offered by MATLAB/ Simulink models is investigated and a wide-ranging framework for test-data generation and management is presented. Model-level a...
متن کاملAutomatic SDF-based Code Generation from Simulink Models for Embedded Software Development
Matlab/Simulink is a wide-spread tool for model-based design of embedded systems. Supporting hierarchy, domain specific building blocks, functional simulation and automatic code-generation, makes it well-suited for the design of control and signal processing systems. In this work, we propose an automated translation methodology for a subset of Simulink models to Synchronous dataflow Graphs (SDF...
متن کاملMutation-Based Test Case Generation for Simulink Models
The Matlab/Simulink language has become the standard formalism for modeling and implementing control software in areas like avionics, automotive, railway, and process automation. Such software is often safety critical, and bugs have potentially disastrous consequences for people and material involved. We define a verification methodology to assess the correctness of Simulink programs by means o...
متن کاملMultigrain Parallelization for Model-Based Design Applications Using the OSCAR Compiler
Model-based design is a very popular software development method for developing a wide variety of embedded applications such as automotive systems, aircraft systems, and medical systems. Model-based design tools like MATLAB/Simulink typically allow engineers to graphically build models consisting of connected blocks for the purpose of reducing development time. These tools also support automati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011